Customized Plans Transmitted by Flexible Refinement

So far, well-founded planning concentrates ultimately on the generation of action sequences which produce desired behaviors. But, to promote a planner's success in human assistance and support, varied representational and operational flexibility is needed. The paper argues that a compositional temporal logic framework is well-suited to reach the necessary flexibility. Planning is viewed as an inference process based on various refinements and plans work as transmitters of appropriate information about this process. Among other things nonlinear planning is explained in terms of concurrent refinements.